Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Proietti, Maurizio und Sammlung = ULB Düsseldorf
  • Titelblatt
    Logic-based program synthesis and transformation
    24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers
    Proietti, Maurizio (Hrsg.) ; LOPSTR <24., 2014, Canterbury>
    Cham [u.a.] : Springer, 2015